Dependent type - PDFSEARCH.IO - Document Search Engine

Dependent type
Results: 326

#	Item
121	PVS Release Notes Sam Owre SRI International July 20, 2008 Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2008-07-21 06:13:57 Functional languages Type theory Common Lisp Cross-platform software Lisp Emacs Dependent type Subtype polymorphism Software Computing Lisp programming language
122	Random Testing in PVS Sam Owre SRI International, Computer Science Laboratory 333 Ravenswood Avenue, Menlo Park, CA 94025, USA [removed] Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2006-08-26 05:21:12 Automated theorem proving Lisp programming language Mathematical logic Randomness Prototype Verification System IP Proof assistant Dependent type Common Lisp Computing Software engineering Logic
123	Learning Development Sentence structure This guide explains how sentences are constructed and how different types of sentences are formed. It shows you how to punctuate each type correctly and how to combine different Add to Reading List Source URL: www2.le.ac.uk Language: English - Date: 2013-03-11 13:24:48 English grammar Sentence Statements Dependent clause Complex sentence Comma Compound sentence Independent clause Clause Linguistics Syntax Punctuation
124	ADS-B Regulators’ Workshop – WP[removed]International Civil Aviation Organization REGULATOR’S WORKSHOP ON ADS-B AVIONICS EQUIPAGE REQUIREMENTS Add to Reading List Source URL: www.icao.int Language: English - Date: 2013-04-30 16:53:23 Northern Region Uganda Type certificate Apac Air traffic control Avionics Automatic dependent surveillance-broadcast
125	PVS Language Reference Version 2.4 • November 2001 S. Owre N. Shankar J. M. Rushby Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2006-11-30 07:15:58 Logic Data types Predicate logic Formal methods Type system Abstract data type Stack Function Dependent type Mathematics Type theory Mathematical logic
126	IJCAR 2004 Second International Joint Conference on Automated Reasoning University College Cork, Cork, Ireland Workshop Programme Fourth International Workshop on Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2004-06-14 23:05:55 Mathematics Logic in computer science Dependently typed programming Lambda calculus Logic programming Twelf Logical framework Higher-order abstract syntax Dependent type Type theory Programming language theory Theoretical computer science
127	Dependent Types and Program Equivalence Limin Jia Jianzhou Zhao Vilhelm Sjöberg Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Models of computation Lambda calculus Type theory Simply typed lambda calculus Theory of computation Valuation Type system Equivalence relation Natural deduction Theoretical computer science Mathematics Computer science
128	Advisory Circular APRIL 2014 AC[removed]v2.1 AIRWORTHINESS APPROVAL OF AIRBORNE Add to Reading List Source URL: www.casa.gov.au Language: English - Date: 2014-04-13 21:59:16 Radar Aviation Electronics Automatic dependent surveillance-broadcast Secondary surveillance radar ARINC Type certificate Transponder DO-242A Air traffic control Avionics Technology
129	Dependent Type Providers David Raymond Christiansen IT University of Copenhagen [removed] Abstract Add to Reading List Source URL: itu.dk Language: English - Date: 2013-07-29 03:28:29 Computing Data types Functional languages Object-oriented programming Functional programming Type system Generalized algebraic data type Agda Dependent type Software engineering Type theory Programming language theory
130	I DRIS — Systems Programming Meets Full Dependent Types Edwin C. Brady School of Computer Science, University of St Andrews, St Andrews, Scotland. Email: [removed] Abstract Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2010-11-18 11:51:31 C++ Data types Functional programming Type theory Theoretical computer science ATS Polymorphism Pattern matching C++ classes Software engineering Computing Computer programming

UPDATE